Nuprl Lemma : less-fast-fib-opt
11,40
postcript
pdf
n
:
. {
m
:
|
m
= fib(
n
)
}
latex
ProofTree
Definitions
less-fast-fib
,
t
T
Lemmas
less-fast-fib
origin
n:
. {m:| m = fib(n) 
}
n:. {m:| m = fib(n) }
T